package org.xteam.sled.model;

import java.util.ArrayList;
import java.util.List;

public class PureSequence extends BaseSequence<Constraints>{

	public PureSequence(boolean hasPrefix, List<Constraints> elements,
			boolean hasSuffix) {
		super(hasPrefix, elements, hasSuffix);
	}

	@Override
	protected BaseSequence<Constraints> createSequence() {
		return new PureSequence(false, elements, false);
	}

	@Override
	public ISequence createSequence(boolean hasPrefix, boolean hasSuffix,
			List<ISequent> elements) {
		List<Constraints> newElements = new ArrayList<Constraints>();
		for (ISequent e : elements) {
			newElements.add((Constraints) e);
		}
		return new PureSequence(hasPrefix, newElements, hasSuffix);
	}

}
